Logical Method Combination
نویسندگان
چکیده
We present an account of method overriding and combination that can be used to richly describe how methods ought to combine and to build method combination facilities based on those descriptions. The idea is that classes are associated with requirements on the behavior of operations, while methods provide code fragments that meet speci ed requirements under certain conditions. A method is applicable to an operation if it meets all requirements of the classes of the arguments for that operation. We show how to express overriding by having subclasses add additional requirements, and how to express method combination as a composition of code fragments that will meet all requirements. All of this can be captured with rst order logic.
منابع مشابه
Combining Temporal Logic Systems
This paper is a continuation of the work started in FG92] on combining temporal logics. In this work, four combination methods are described and studied with respect to the transference of logical properties from the component one-dimensional temporal logics to the resulting two-dimensional temporal logic. Three basic logical properties are analysed, namely soundness, completeness and decidabil...
متن کاملA Tripartite Architecture based on Referee Function for Generic Implementations of Evidence Combination Rules
Abstract:An approach for a generic implementation of combination rules of evidence is proposed. This approach implies a tripartite architecture, with respective parts implementing the logical framework (complete distributive lattice, Boolean algebra), the combination definition (referee function), and the belief-related processes (basic belief assignment, belief and plausibility computation, co...
متن کاملPresent an Initial Estimation Method for Logical Transaction-based Software Projects
The first and most basic requirement for successful entry of a project, is have a realistic and reasonable estimation. In this paper, in order to increase accuracy of software projects estimation and reduce complexity of estimation process, we introduce a method called the "Logical Transaction Point (LTP)". Our method is most appropriate for transactional software. By use of this method can est...
متن کاملData Warehouse System for Environmental Information
This paper describes how a data warehouse can be constructed step-by-step from a collection of relevant queries to a logical data model and its implementation. The method presented here is based on a combination of several well-known procedures, particularly use of index numbers and the object-type method. The background of this research is a case study in the environmental planning department ...
متن کاملIntuitive and logical way of thinking in the education of architectural design courses
Different approaches and methods are used in the architecture design process that logical and intuitional methods are the most common ones. The role of knowledge in each method is different. Investigating aspects of knowledge demonstrated the hierarchy from data to wisdom and the interaction of explicit and tacit types, subjective and objective sources, and analytical and exploratory ways of p...
متن کامل